A Foundations of Behavioural Types

Hans Hüttel, Aalborg University Ivan Lanese, University of Bologna/INRIA Vasco T. Vasconcelos, University of Lisbon Luís Caires, New University of Lisbon Marco Carbone, ITU Copenhagen Pierre-Malo Deniélou, Royal Holloway, University of London Dimitris Mostrous, University of Lisbon Luca Padovani, University of Turin António Ravara, New University of Lisbon Emilio Tuosto, University of Leicester Hugo Torres Vieira, University of Lisbon Gianluigi Zavattaro, University of Bologna/INRIA